<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN"
     "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<!-- $Id: commands.html 254 2008-09-15 12:40:37Z thomasoa $ -->
<title>Index of Deal Commands</title>
<link rel="stylesheet" type="text/css" href="commands.css">
</head>
<body>
<div id="indexbox" class='index'>
<?php 
  $indexURL = "";
  $indexAttributes = "";
  include ("commands-index.htmlf"); 
?>
</div>
<div id="commandsbox" class='commands'>
<?php include ("commands-body.htmlf"); ?>
<?php include("sig.htmlf"); ?>
</div>
</body>
</html>
